Workshop on Logic - PDFSEARCH.IO - Document Search Engine

Workshop on Logic
Results: 113

#	Item
71	Evaluation – Key questions and issues The following notes were prepared by Michael Flood for a workshop on evaluation among community organisations. The notes are schematic rather than detailed, but they do highlight k Add to Reading List Source URL: www.partnersinprevention.org.au Language: English - Date: 2014-10-30 01:00:35 Methodology Impact evaluation Logic model Social research Quantitative research Qualitative research Sampling Research Program evaluation Science Evaluation methods Evaluation
72	Adaptation Committee Workshop on Monitoring and Evaluation of Adaptation Summary of Key Messages Ms. Sumaya Ahmed Zakieldeen Adaptation Committee member Add to Reading List Source URL: unfccc.int Language: English - Date: 2013-09-11 20:18:26 Global warming Evaluation methods E-learning Capacity building Learning platform Logic model Education Development Adaptation to global warming
73	IJCAR 2004 Second International Joint Conference on Automated Reasoning University College Cork, Cork, Ireland Workshop Programme Fourth International Workshop on Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2004-06-14 23:05:55 Mathematics Logic in computer science Dependently typed programming Lambda calculus Logic programming Twelf Logical framework Higher-order abstract syntax Dependent type Type theory Programming language theory Theoretical computer science
74	Discussion Paper INECE-OECD Workshop on Environmental Compliance and Enforcement Indicators: Measuring What Matters Add to Reading List Source URL: www.oecd.org Language: English - Date: 2014-07-04 13:03:26 Sustainability Environmental indicator International Network for Environmental Compliance and Enforcement Performance indicator Logic model Environmental governance Performance measurement Business Community indicators Management Environment Earth
75	VHDL Workshop Course Description This three-day class is a general introduction to the VHDL language and its use in programmable logic design. The emphasis is on the synthesis constructs Add to Reading List Source URL: www.elca.de Language: English - Date: 2014-02-19 09:48:54 Electronic design automation Logic design VHDL Altera Quartus Logic synthesis Mentor Graphics Electronic engineering Digital electronics Hardware description languages
76	True Sums of Products Workshop on Generic Programming 2014 Edsko de Vries, Andres Löh 31 August 2014 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2014-09-01 09:38:41 Type theory Data types Generic programming Lambda calculus Logic in computer science Type system Combinatory logic C Haskell Software engineering Programming language theory Computing
77	****************************************************************** 日仏ワークショップ「論理・言語・計算-比較文化的視点」（Franco-Japanese workshop on Logic,Language, and comp Add to Reading List Source URL: abelard.flet.keio.ac.jp Language: English - Date: 2012-10-18 06:19:40** Hideo Azuma Yamato Transport Anime Japan Shōnen manga
78	PLMMS Preface This volume contains the papers presented at PLMMS-2013: 5th International Workshop on Programming Languages for Mechanised Mathematical Systems 2013 held on July 9, 2013 in Bath. There were 3 submissions. Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-10 05:43:59 Type theory Functional languages Logic in computer science Formal methods Theory of computation Dependent type Agda Formal verification Typed lambda calculus Programming language theory Theoretical computer science Software engineering
79	Electronic Communications of the EASST Volume ? (2009) Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2009-09-16 11:46:54 Conditional Combinatory logic C syntax Software engineering Computer programming Computing Control flow
80	FCS 2009 Workshop on Foundations of Computer Security July 10th, 2009 Los Angeles, California, USA Affiliated with LICS’09 Add to Reading List Source URL: www.loria.fr Language: English - Date: 2009-07-20 04:50:04 Proof theory Propositional calculus Philosophical logic Model theory Soundness Linear logic Sequent calculus Deductive reasoning Entailment Logic Mathematical logic Deduction